-
1 positively derivable
Большой англо-русский и русско-английский словарь > positively derivable
-
2 positively derivable
Математика: позитивно выводимый -
3 positively derivable
мат.English-Russian scientific dictionary > positively derivable
-
4 positively derivable formula
Математика: позитивно выводимая формулаУниверсальный англо-русский словарь > positively derivable formula
-
5 positively derivable formula
English-Russian scientific dictionary > positively derivable formula
-
6 derivable
-
7 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
8 позитивно выводимый
Большой англо-русский и русско-английский словарь > позитивно выводимый
См. также в других словарях:
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Bohr model — In atomic physics, the Bohr model created by Niels Bohr depicts the atom as a small, positively charged nucleus surrounded by electrons that travel in circular orbits around the nucleus mdash;similar in structure to the solar system, but with… … Wikipedia
Baptism — • One of the Seven Sacraments of the Christian Church; frequently called the first sacrament , the door of the sacraments , and the door of the Church Catholic Encyclopedia. Kevin Knight. 2006. Baptism Baptism … Catholic encyclopedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
hydrocarbon — hydrocarbonaceous, adj. /huy dreuh kahr beuhn, huy dreuh kahr /, n. any of a class of compounds containing only hydrogen and carbon, as an alkane, methane, CH4, an alkene, ethylene, C2H4, an alkyne, acetylene, C2H2, or an aromatic compound,… … Universalium